home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / cocktail / lalr.lha / lalr / src / Check.md < prev    next >
Text File  |  1992-08-18  |  919b  |  34 lines
  1. (* check and repair inconsitences *)
  2.  
  3. (* $Id: Check.md,v 1.3 1991/11/21 14:53:14 grosch rel $ *)
  4.  
  5. (* $Log: Check.md,v $
  6.  * Revision 1.3  1991/11/21  14:53:14  grosch
  7.  * new version of RCS on SPARC
  8.  *
  9.  * Revision 1.2  90/06/12  16:53:42  grosch
  10.  * renamed main program to lalr, added { } for actions, layout improvements
  11.  * 
  12.  * Revision 1.1     89/05/02  14:34:00  vielsack
  13.  * new option: -v (verbose)
  14.  * 
  15.  * Revision 1.0     88/10/04  14:35:54  vielsack
  16.  * Initial revision
  17.  * 
  18.  *)
  19.  
  20. DEFINITION MODULE Check;
  21.  
  22.   VAR Verbose: BOOLEAN;
  23.  
  24.   PROCEDURE CheckForConflicts (VAR ok: BOOLEAN);
  25.  
  26.   (* Pruefe ob die Zustaende Konflikte beinhalten,
  27.      so weit moeglich werden Konflikte mit Hilfe von
  28.      Prioritaeten und Assoziativitaeten geloest,
  29.      falls keine Korektur moeglich ist wird ok auf FALSE gesetzt
  30.      einer Fehlermeldung beendet, sonst steht ein konfliktfreier
  31.      Automat zur Auswertung zur Verfuegung *)
  32.  
  33. END Check.
  34.